$\forall$$T$:Type, ${\it eq}$:EqDecider($T$), $a$, $b$:($T$ List).
\\[0ex]l\_disjoint($T$;$a$;$b$) $\Leftarrow\!\Rightarrow$ (l\_intersection(${\it eq}$;$a$;$b$) = [] $\in$ ($T$ List))